H ? « ‹ ← → › »

Language peer sets for Tiny Quty:
Japan↑
Japan/0↑

Tiny Quty(ID:7915/)

alternate simple view
Country: Japan

subset of Quty used as a test language for extracted programs
Related languages
Quty → Tiny Quty   Subset
References:
  • Takayama, Yukihide (1990) Takayama, Yukihide "Extended projection?new method to extract efficient programs from constructive proofs" Proceedings of the fourth international conference on Functional Programming Languages and Computer Architecture Imperial College, London, United Kingdom pp299 - 312 DOI Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder